divides($b$; $a$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\exists$$c$:$\mathbb{Z}$. ($a$ = ($b$ $\ast$ $c$) $\in$ $\mathbb{Z}$)